Chang-Mundici construction of an enveloping unital lattice-group of a BL-algebra

نویسندگان

  • Celestin Lele
  • Jean B. Nganou
چکیده

For any BL-algebra L, we construct an associated lattice ordered Abelian group GL that coincides with the Chang’s `-group of an MV-algebra when the BL-algebra is an MValgebra. We prove that the Chang’s group of the MV-center of any BL-algebra L is a direct summand in GL. We also find a direct description of the complement S(L) of the Chang’s group of the MV-center in terms of the filter of dense elements of L. Finally, we compute some examples of the group GL.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Generalized MV-algebras

We generalize the notion of an MV-algebra in the context of residuated lattices to include noncommutative and unbounded structures. We investigate a number of their properties and prove that they can be obtained from lattice-ordered groups via a truncation construction that generalizes the Chang–Mundici Γ functor. This correspondence extends to a categorical equivalence that generalizes the one...

متن کامل

MV-algebras: a variety for magnitudes with archimedean units

Chang’s MV-algebras are, on the one hand, the algebras of the infinite-valued Lukasiewicz calculus and, on the other hand, they are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital `-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no l...

متن کامل

Semi-G-filters, Stonean filters, MTL-filters, divisible filters, BL-filters and regular filters in residuated lattices

At present, the filter theory of $BL$textit{-}algebras has been widelystudied, and some important results have been published (see for examplecite{4}, cite{5}, cite{xi}, cite{6}, cite{7}). In other works such ascite{BP}, cite{vii}, cite{xiii}, cite{xvi} a study of a filter theory inthe more general setting of residuated lattices is done, generalizing thatfor $BL$textit{-}algebras. Note that fil...

متن کامل

On residuated lattices with universal quantifiers

We consider properties of residuated lattices with universal quantifier and show that, for a residuated lattice $X$, $(X, forall)$ is a residuated lattice with a quantifier if and only if there is an $m$-relatively complete substructure of $X$. We also show that, for a strong residuated lattice $X$, $bigcap {P_{lambda} ,|,P_{lambda} {rm is an} m{rm -filter} } = {1}$ and hence that any strong re...

متن کامل

A Stone-Weierstrass theorem for MV-algebras and unital ℓ-groups

Working jointly in the equivalent categories of MV-algebras and lattice-ordered abelian groups with strong order unit (for short, unital l-groups), we prove that isomorphism is a sufficient condition for a separating subalgebra A of a finitely presented algebra F to coincide with F . The separation and isomorphism conditions do not individually imply A = F . Various related problems, like the s...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2013